package cz.cvut.kadledav.paa.weight3sat;

import cz.cvut.kadledav.paa.weight3sat.util.TaskUtil;

import java.io.IOException;
import java.util.Map;
import java.util.TreeMap;

/**
 * User: David Kadlecek
 * Date: 30.12.13
 */
public class Run {
    public static void main(String[] args) throws IOException {
        int clauseSize = 30;
        int variables = 30;
        int times = 10;

        Map params = new TreeMap<>();
        params.put(SimulatedAnnealing.COOLING_COEFFICIENT,0.90);
        params.put(SimulatedAnnealing.FINAL_TEMPERATURE,0.001);
//        params.put(SimulatedAnnealing.START_TEMPERATURE,10000);
        params.put(SimulatedAnnealing.INNER_LOOP,10000);
//        params.put(SimulatedAnnealing.MAKE_CHART,true);
//        params.put(TaskUtil.SPECIAL_INSTANCE,28);
        TaskUtil.run(times,clauseSize,variables,params);
    }
}
